and Logic

Results: 11835



#Item
41

Cosmos and History: The Journal of Natural and Social Philosophy, vol. 11, no. 2, 2015 PRIMACY OF QUANTUM LOGIC IN THE NATURAL WORLD Cynthia Sue Larson Abstract: This paper presents evidence from the fields of cognitive

Add to Reading List

Source URL: realityshifters.com

Language: English - Date: 2016-10-17 13:16:00
    42

    Logic-Based Decomposition Methods for the Travelling Purchaser Problem Kyle E. C. Booth, Tony T. Tran, and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario M5S

    Add to Reading List

    Source URL: tidel.mie.utoronto.ca

    Language: English - Date: 2016-03-07 13:24:51
      43

      ALERT LOGIC THREAT MANAGER ® ™ NETWORK INTRUSION DETECTION SYSTEM (IDS) AND VULNERABILITY MANAGEMENT

      Add to Reading List

      Source URL: www.alertlogic.com

      Language: English - Date: 2018-08-16 13:48:55
        44

        e Association for Logic in India Passed by the General Assembly at the Indian Conference on Logic and its Applications Chennai, January , Name and Founding Address

        Add to Reading List

        Source URL: ali.cmi.ac.in

        Language: English - Date: 2016-12-15 06:24:33
          45

          Symbolic Systems Biology and Pathway Logic Patrick Lincoln and Carolyn Talcott SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [lincoln,clt]@csl.sri.com

          Add to Reading List

          Source URL: pl.csl.sri.com

          Language: English - Date: 2018-08-10 18:50:28
            46

            A Guide to Quantified Propositional G¨ odel Logic Matthias Baaz? , Agata Ciabattoni?? , Norbert Preining? , and Helmut Veith ???

            Add to Reading List

            Source URL: www.preining.info

            Language: English - Date: 2005-04-12 18:14:34
              47

              Clarifying Intentions in Dialogue: A Corpus Study∗ Julian J. Schl¨oder and Raquel Fern´andez Institute for Logic, Language and Computation University of Amsterdam , A

              Add to Reading List

              Source URL: iwcs2015.github.io

              Language: English - Date: 2015-05-02 06:39:58
                48

                Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

                Add to Reading List

                Source URL: www.chargueraud.org

                Language: English - Date: 2017-09-21 08:25:51
                  49

                  1 To appear in Theoria, 82: (2016), special issue in celebration of Derek Parfit’s award of the 2014 Schock Prize in Logic and Philosophy.

                  Add to Reading List

                  Source URL: ruthchang.net

                  Language: English - Date: 2016-04-18 08:30:32
                    50

                    J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

                    Add to Reading List

                    Source URL: formal.hknu.ac.kr

                    Language: English - Date: 2018-03-08 05:11:17
                      UPDATE